Edukad projektid

Leidsin 5 projekti. alaprogramm [ IST ] otsingusõna [ Tallinna Tehnikaülikooli Küberneetika Instituut ]

Programmid

Koordinaator-riigid

Alaprogrammid

Instrumendid

Partner-riigid (projektides osaluse arv)

projekti nr	akronüüm ja pealkiri	kestus
FP6 - 015905	MOBIUS - Mobility, Ubiquity and Security for small Devices	2005-2009
FP6 - 510996	TYPES - Types for Proofs and Programs	2004-2008
FP5 - 67040	APPSEM-II - APPLIED SEMANTICS II	2003-2006
FP5 - 60304	COLOGNET - Network of Excellence in Computational Logic	2002-2005
FP5 - 65335	EVIKINGS I I - Establishment of the Virtual Centre of excellence for IST RTD in Estonia	2002-2005